Add tests for Source Phase Imports

Author: legendecas

INTERPRETING.md

@@ -107,6 +107,7 @@ properties of the global scope prior to test execution.
     - **`sleep`** - a function that takes a millisecond argument and
         sleeps the execution for approximately that duration.
     - **`monotonicNow`** - a function that returns a value that conforms to [`DOMHighResTimeStamp`][] and is produced in such a way that its semantics conform to **[Monotonic Clock][]**.
+    - **`AbstractModuleSource`** - a reference to the %AbstractModuleSource% constructor which does not appear as a property of the global object.
 
 In addition, consumers may choose to override any of [the functions defined by test harness files](https://github.com/tc39/test262/blob/HEAD/CONTRIBUTING.md#test-environment) as they see fit. See [the documentation on handling errors and negative test cases](https://github.com/tc39/test262/blob/HEAD/CONTRIBUTING.md#handling-errors-and-negative-test-cases) for a useful example of this.
 

features.txt

@@ -105,6 +105,10 @@ promise-with-resolvers
 # https://github.com/tc39/proposal-set-methods
 set-methods
 
+# Source Phase Imports
+## https://github.com/tc39/proposal-source-phase-imports
+source-phase-imports
+
 ## Standard language features
 #
 # Language features that have been included in a published version of the

src/dynamic-import/import-source-assignment-expr-not-optional.case

@@ -0,0 +1,16 @@
+// Copyright (C) 2024 Chengzhong Wu. All rights reserved.
+// Copyright (C) 2018 Rick Waldron. All rights reserved.
+// Copyright (C) 2018 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+desc: It's a SyntaxError if AssignmentExpression is omitted
+template: syntax/invalid
+info: |
+  ImportCall[Yield, Await] :
+      import . source ( AssignmentExpression[+In, ?Yield, ?Await] )
+features: [source-phase-imports]
+---*/
+//- import
+import.source()
+//- teardown
+/* The params region intentionally empty */

src/dynamic-import/import-source-empty-str-is-valid-assign-expr.case

@@ -0,0 +1,12 @@
+// Copyright (C) 2024 Chengzhong Wu. All rights reserved.
+// Copyright (C) 2018 Rick Waldron. All rights reserved.
+// Copyright (C) 2018 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+desc: Calling import.source('')
+template: syntax/valid
+features: [source-phase-imports]
+---*/
+
+//- import
+import.source('')

src/dynamic-import/import-source-no-new-call-expression.case

@@ -0,0 +1,18 @@
+// Copyright (C) 2024 Chengzhong Wu. All rights reserved.
+// Copyright (C) 2018 Leo Balter. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+desc: ImportCall is a CallExpression, it can't be preceded by the new keyword
+template: syntax/invalid
+info: |
+  CallExpression:
+    ImportCall
+
+  ImportCall :
+      import . source ( AssignmentExpression[+In, ?Yield, ?Await] )
+
+features: [source-phase-imports]
+---*/
+
+//- import
+new import.source('')

src/dynamic-import/import-source-no-rest-param.case

@@ -0,0 +1,21 @@
+// Copyright (C) 2024 Chengzhong Wu. All rights reserved.
+// Copyright (C) 2018 Leo Balter. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+desc: ImportCall is not extensible - no rest parameter
+template: syntax/invalid
+info: |
+  ImportCall :
+      import . source ( AssignmentExpression[+In, ?Yield] )
+
+  Forbidden Extensions
+
+  - ImportCall must not be extended.
+
+  This production doesn't allow the following production from ArgumentsList:
+
+  ... AssignmentExpression
+---*/
+
+//- import
+import.source(...[''])

src/dynamic-import/import-source-script-code-valid.case

@@ -0,0 +1,16 @@
+// Copyright (C) 2024 Chengzhong Wu. All rights reserved.
+// Copyright (C) 2018 Leo Balter. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+desc: import.source() can be used in script code
+template: syntax/valid
+features: [source-phase-imports]
+---*/
+
+//- setup
+// This is still valid in script code, and should not be valid for module code
+// https://tc39.github.io/ecma262/#sec-scripts-static-semantics-lexicallydeclarednames
+var smoosh; function smoosh() {}
+
+//- import
+import.source('')

src/dynamic-import/import-source-source-text-module.case

@@ -0,0 +1,38 @@
+// Copyright (C) 2024 Chengzhong Wu. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+desc: >
+    GetModuleSource of SourceTextModule always returns an abrupt completion.
+esid: sec-moduleevaluation
+info: |
+    16.2.1.7.2 GetModuleSource ( )
+    Source Text Module Record provides a GetModuleSource implementation that always returns an abrupt completion indicating that a source phase import is not available.
+    1. Throw a ReferenceError exception.
+
+    Import Calls
+
+    Runtime Semantics: Evaluation
+
+    ImportCall : import . source ( AssignmentExpression )
+    1. Return ? EvaluateImportCall(AssignmentExpression, source).
+
+    13.3.10.1.1 EvaluateImportCall ( specifierExpression, phase )
+    1. Let referrer be GetActiveScriptOrModule().
+    2. If referrer is null, set referrer to the current Realm Record.
+    3. Let specifierRef be ? Evaluation of specifierExpression.
+    4. Let specifier be ? GetValue(specifierRef).
+    5. Let promiseCapability be ! NewPromiseCapability(%Promise%).
+    6. Let specifierString be Completion(ToString(specifier)).
+    7. IfAbruptRejectPromise(specifierString, promiseCapability).
+    8. Let moduleRequest be a new ModuleRequest Record { [[Specifier]]: specifierString, [[Phase]]: phase }.
+    9. Perform HostLoadImportedModule(referrer, moduleRequest, empty, promiseCapability).
+    10. Return promiseCapability.[[Promise]].
+
+template: catch
+features: [source-phase-imports]
+---*/
+
+//- import
+import.source('./empty_FIXTURE.js')
+//- body
+assert.sameValue(error.name, 'ReferenceError');

src/dynamic-import/import-source-specifier-tostring-abrupt-rejects.case

@@ -0,0 +1,42 @@
+// Copyright (C) 2024 Chengzhong Wu. All rights reserved.
+// Copyright (C) 2018 Rick Waldron. All rights reserved.
+// Copyright (C) 2018 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+desc: >
+    Abrupt from ToString(specifier) rejects the promise
+esid: sec-moduleevaluation
+info: |
+    Import Calls
+
+    Runtime Semantics: Evaluation
+
+    ImportCall : import . source ( AssignmentExpression )
+    1. Return ? EvaluateImportCall(AssignmentExpression, source).
+
+    13.3.10.1.1 EvaluateImportCall ( specifierExpression, phase )
+    1. Let referrer be GetActiveScriptOrModule().
+    2. If referrer is null, set referrer to the current Realm Record.
+    3. Let specifierRef be ? Evaluation of specifierExpression.
+    4. Let specifier be ? GetValue(specifierRef).
+    5. Let promiseCapability be ! NewPromiseCapability(%Promise%).
+    6. Let specifierString be Completion(ToString(specifier)).
+    7. IfAbruptRejectPromise(specifierString, promiseCapability).
+    8. Let moduleRequest be a new ModuleRequest Record { [[Specifier]]: specifierString, [[Phase]]: phase }.
+    9. Perform HostLoadImportedModule(referrer, moduleRequest, empty, promiseCapability).
+    10. Return promiseCapability.[[Promise]].
+template: catch
+features: [source-phase-imports]
+---*/
+
+//- setup
+const obj = {
+    toString() {
+        throw 'custom error';
+    }
+};
+
+//- import
+import.source(obj)
+//- body
+assert.sameValue(error, 'custom error');

src/dynamic-import/import-source-specifier-tostring.case

@@ -0,0 +1,50 @@
+// Copyright (C) 2024 Chengzhong Wu. All rights reserved.
+// Copyright (C) 2018 Rick Waldron. All rights reserved.
+// Copyright (C) 2018 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+desc: >
+    ToString value of specifier
+esid: sec-moduleevaluation
+info: |
+    Import Calls
+
+    Runtime Semantics: Evaluation
+
+    ImportCall : import . source ( AssignmentExpression )
+    1. Return ? EvaluateImportCall(AssignmentExpression, source).
+
+    13.3.10.1.1 EvaluateImportCall ( specifierExpression, phase )
+    1. Let referrer be GetActiveScriptOrModule().
+    2. If referrer is null, set referrer to the current Realm Record.
+    3. Let specifierRef be ? Evaluation of specifierExpression.
+    4. Let specifier be ? GetValue(specifierRef).
+    5. Let promiseCapability be ! NewPromiseCapability(%Promise%).
+    6. Let specifierString be Completion(ToString(specifier)).
+    7. IfAbruptRejectPromise(specifierString, promiseCapability).
+    8. Let moduleRequest be a new ModuleRequest Record { [[Specifier]]: specifierString, [[Phase]]: phase }.
+    9. Perform HostLoadImportedModule(referrer, moduleRequest, empty, promiseCapability).
+    10. Return promiseCapability.[[Promise]].
+
+    16.2.1.7.2 GetModuleSource ( )
+    Source Text Module Record provides a GetModuleSource implementation that always returns an abrupt completion indicating that a source phase import is not available.
+    1. Throw a ReferenceError exception.
+
+template: catch
+features: [source-phase-imports]
+---*/
+
+//- setup
+// The following case is equivalent of the call of:
+// import.source('./empty_FIXTURE.js')
+
+const obj = {
+    toString() {
+        return './empty_FIXTURE.js';
+    }
+};
+
+//- import
+import.source(obj)
+//- body
+assert.sameValue(error.name, 'ReferenceError');

test/language/expressions/dynamic-import/catch/empty_FIXTURE.js

@@ -0,0 +1,4 @@
+// Copyright (C) 2024 Chengzhong Wu. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+// empty code

test/language/expressions/dynamic-import/catch/nested-arrow-import-catch-import-source-source-text-module.js

@@ -0,0 +1,57 @@
+// This file was procedurally generated from the following sources:
+// - src/dynamic-import/import-source-source-text-module.case
+// - src/dynamic-import/catch/nested-arrow.template
+/*---
+description: GetModuleSource of SourceTextModule always returns an abrupt completion. (nested arrow)
+esid: sec-import-call-runtime-semantics-evaluation
+features: [source-phase-imports, dynamic-import]
+flags: [generated, async]
+info: |
+    ImportCall :
+        import( AssignmentExpression )
+
+    1. Let referencingScriptOrModule be ! GetActiveScriptOrModule().
+    2. Assert: referencingScriptOrModule is a Script Record or Module Record (i.e. is not null).
+    3. Let argRef be the result of evaluating AssignmentExpression.
+    4. Let specifier be ? GetValue(argRef).
+    5. Let promiseCapability be ! NewPromiseCapability(%Promise%).
+    6. Let specifierString be ToString(specifier).
+    7. IfAbruptRejectPromise(specifierString, promiseCapability).
+    8. Perform ! HostImportModuleDynamically(referencingScriptOrModule, specifierString, promiseCapability).
+    9. Return promiseCapability.[[Promise]].
+
+
+    16.2.1.7.2 GetModuleSource ( )
+    Source Text Module Record provides a GetModuleSource implementation that always returns an abrupt completion indicating that a source phase import is not available.
+    1. Throw a ReferenceError exception.
+
+    Import Calls
+
+    Runtime Semantics: Evaluation
+
+    ImportCall : import . source ( AssignmentExpression )
+    1. Return ? EvaluateImportCall(AssignmentExpression, source).
+
+    13.3.10.1.1 EvaluateImportCall ( specifierExpression, phase )
+    1. Let referrer be GetActiveScriptOrModule().
+    2. If referrer is null, set referrer to the current Realm Record.
+    3. Let specifierRef be ? Evaluation of specifierExpression.
+    4. Let specifier be ? GetValue(specifierRef).
+    5. Let promiseCapability be ! NewPromiseCapability(%Promise%).
+    6. Let specifierString be Completion(ToString(specifier)).
+    7. IfAbruptRejectPromise(specifierString, promiseCapability).
+    8. Let moduleRequest be a new ModuleRequest Record { [[Specifier]]: specifierString, [[Phase]]: phase }.
+    9. Perform HostLoadImportedModule(referrer, moduleRequest, empty, promiseCapability).
+    10. Return promiseCapability.[[Promise]].
+
+---*/
+
+let f = () => {
+  import.source('./empty_FIXTURE.js').catch(error => {
+
+    assert.sameValue(error.name, 'ReferenceError');
+
+  }).then($DONE, $DONE);
+};
+
+f();

test/language/expressions/dynamic-import/catch/nested-arrow-import-catch-import-source-specifier-tostring-abrupt-rejects.js

@@ -0,0 +1,59 @@
+// This file was procedurally generated from the following sources:
+// - src/dynamic-import/import-source-specifier-tostring-abrupt-rejects.case
+// - src/dynamic-import/catch/nested-arrow.template
+/*---
+description: Abrupt from ToString(specifier) rejects the promise (nested arrow)
+esid: sec-import-call-runtime-semantics-evaluation
+features: [source-phase-imports, dynamic-import]
+flags: [generated, async]
+info: |
+    ImportCall :
+        import( AssignmentExpression )
+
+    1. Let referencingScriptOrModule be ! GetActiveScriptOrModule().
+    2. Assert: referencingScriptOrModule is a Script Record or Module Record (i.e. is not null).
+    3. Let argRef be the result of evaluating AssignmentExpression.
+    4. Let specifier be ? GetValue(argRef).
+    5. Let promiseCapability be ! NewPromiseCapability(%Promise%).
+    6. Let specifierString be ToString(specifier).
+    7. IfAbruptRejectPromise(specifierString, promiseCapability).
+    8. Perform ! HostImportModuleDynamically(referencingScriptOrModule, specifierString, promiseCapability).
+    9. Return promiseCapability.[[Promise]].
+
+
+    Import Calls
+
+    Runtime Semantics: Evaluation
+
+    ImportCall : import . source ( AssignmentExpression )
+    1. Return ? EvaluateImportCall(AssignmentExpression, source).
+
+    13.3.10.1.1 EvaluateImportCall ( specifierExpression, phase )
+    1. Let referrer be GetActiveScriptOrModule().
+    2. If referrer is null, set referrer to the current Realm Record.
+    3. Let specifierRef be ? Evaluation of specifierExpression.
+    4. Let specifier be ? GetValue(specifierRef).
+    5. Let promiseCapability be ! NewPromiseCapability(%Promise%).
+    6. Let specifierString be Completion(ToString(specifier)).
+    7. IfAbruptRejectPromise(specifierString, promiseCapability).
+    8. Let moduleRequest be a new ModuleRequest Record { [[Specifier]]: specifierString, [[Phase]]: phase }.
+    9. Perform HostLoadImportedModule(referrer, moduleRequest, empty, promiseCapability).
+    10. Return promiseCapability.[[Promise]].
+
+---*/
+const obj = {
+    toString() {
+        throw 'custom error';
+    }
+};
+
+
+let f = () => {
+  import.source(obj).catch(error => {
+
+    assert.sameValue(error, 'custom error');
+
+  }).then($DONE, $DONE);
+};
+
+f();